A Duality Theory for

Recent studies of the algebraic properties of bilattices have provided insight into their internal structures, and have led to practical results, especially in reducing the computational complexity of bilattice-based multi-valued logic programs. In this paper the representation theorem for interlaced bilattices with negation found in 18] and extended to arbitrary interlaced bilattices without negation in 2] is presented. A natural equivalence is then established between the category of inter-laced bilattices and the cartesian square of the category of bounded lattices. As a consequence a dual natural equivalence is obtained between the category of distributive bilattices and the coproduct of the category of bounded Priestley spaces with itself. Some applications of these equivalences are given. The subdirectly irreducible interlaced bi-lattices are characterized in terms of subdirectly irreducible lattices. A known characterization of the join-irreducible elements of the \knowl-edge" lattice of an interlaced bilattice is used to establish a natural equivalence between the category of nite, distributive bilattices and the category of posets of the form P ? Q: